Complementing the B-Method with Model-Based Testing
نویسنده
چکیده
In this Ph.D project, we propose a Model-Based Testing approach to complement the B-Method development process. The approach generates unit test cases that verify the conformance between the initial abstract model and the actual implementation of the system, checking if the developed code behaves as specified in the model. The test cases are generated using classic testing techniques such as Input Space Partitioning and Logical Coverage. The tests generated by the approach are complete, executable test cases containing test data, preamble calculation, oracle evaluation and test data concretization. The approach is also supported by a tool that partially automates the test generation process.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملLINEAR HYPOTHESIS TESTING USING DLR METRIC
Several practical problems of hypotheses testing can be under a general linear model analysis of variance which would be examined. In analysis of variance, when the response random variable Y , has linear relationship with several random variables X, another important model as analysis of covariance can be used. In this paper, assuming that Y is fuzzy and using DLR metric, a method for testing ...
متن کاملDeveloping and Testing of the Causal Model of Students' Addiction Potential based on Distress Tolerance and Differentiation with the Mediating Role of Alexithymia
Objective: Several factors including personality and social factors are effective on drug use. The purpose of the present study was to investigate the prediction model of students' addiction potential based on distress tolerance and differentiation with the mediating role of alexithymia. Method: The research method was descriptive and structural equation modeling. The statistical population of ...
متن کاملThe effectiveness of acceptance and commitment-based psychotherapy based on the components of personality organization and defense styles of people with borderline personality disorder
The aim of this study was the effectiveness of acceptance and commitment therapy on the organization of personality and defense styles of people with borderline personality. The research method was single-subject design A-B-A The statistical population includes all people with borderline personality disorder who were referred to the outpatient department of Zare Psychiatric Hospital and Mana Ho...
متن کاملTesting Several Rival Models Using the Extension of Vuong\'s Test and Quasi Clustering
The two main goals in model selection are firstly introducing an approach to test homogeneity of several rival models and secondly selecting a set of reasonable models or estimating the best rival model to the true one. In this paper we extend Vuong's method for several models to cluster them. Based on the working paper of Katayama $(2008)$, we propose an approach to test whether rival models h...
متن کامل